Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman

Source URL: user.it.uu.se

• Models of computation
• Pushdown automaton
• Software engineering
• Theoretical computer science
• Timed automaton
• Stack
• Petri net
• Clock
• Exponentiation
• Abstraction
• Nested word
• Nested stack automaton

Appears in ProcHybrid Systems: Computation and Control Workshop March, 2002 Exploiting Implicit Representations in Timed Automaton Verication for Controller Synthesis Robert P. Goldman, David J. Musliner, Michael

Source URL: musliner.com

Synthesizing Certificates in Networks of Timed Automata∗ Bernd Finkbeiner Hans-J¨org Peter Saarland University {finkbeiner | peter}@cs.uni-sb.de

Source URL: cgi.csc.liv.ac.uk

• Applied mathematics
• Mathematics
• Büchi automaton
• Automata theory
• Equivalence relation
• Computer science

On the Synthesis of Discrete ?Controllers for Timed Systems (An Extended Abstract) Oded Maler1 Amir Pnueli2 Joseph Sifakis1 1

Source URL: www-verimag.imag.fr

• Applied mathematics
• Complementation of Büchi automaton
• Automata theory
• Mathematics
• Quasigroup